C program verifier
[計(jì)] Ｃ程序檢驗(yàn)器
熱門(mén)查詢(xún)
- boondoggle n. 手工品；細(xì)小而無(wú)用的事；勞動(dòng)力和生產(chǎn)工具不經(jīng)濟(jì)的利用 vi. 做無(wú)聊的工作
- overmuch n. 過(guò)量；超額 adj. 過(guò)多的；過(guò)度的 adv. 過(guò)多地；過(guò)度地
- haw n. 山楂，山楂果；吆喝牲畜左轉(zhuǎn)；瞬膜 vi. 向左轉(zhuǎn) vt. 使向左轉(zhuǎn) n. (Haw)人名；(英)霍
- ether n. 乙醚；[有化] 以太；蒼天；天空醚
- shine vt. 照射，擦亮；把…的光投向；（口）通過(guò)擦拭使…變得有光澤或光 vi. 發(fā)出光；反射光，閃耀；出類(lèi)拔萃，表現(xiàn)突出；露出；照耀；顯露；出眾 n. 光亮，光澤；好天氣；擦亮；晴天；擦皮鞋；鬼把戲或詭計(jì) n. （英）夏因（人名）；（日）新榮（人名）
- unbelievable adj. 難以置信的；不可信的
- reeve n. 城鎮(zhèn)（或地區(qū)）長(zhǎng)官 n. (Reeve)人名；(英)里夫 vt. 把繩索穿過(guò) vi. 穿過(guò)
- nfl abbr. （美）全國(guó)橄欖球聯(lián)盟（National Football League）
- shortened 縮短的 短路的
- perspective n. 觀點(diǎn)；遠(yuǎn)景；透視圖 adj. 透視的
- pta abbr. 家庭教師協(xié)會(huì)（Parent-Teacher Association）
- continually adv. 不斷地；頻繁地
- yesteryear n. 不久以前；去年 adv. 過(guò)去不久的歲月
- flay vt. 剝皮；掠奪；嚴(yán)厲批評(píng)
- zara 扎拉（南斯拉夫西部港市扎達(dá)爾）; 西班牙Inditex集團(tuán)旗下的一個(gè)子公司，它既是服裝品牌，也是專(zhuān)營(yíng)ZARA品牌服裝的連鎖零售品牌
- pucker n. 皺紋；皺褶 n. (Pucker)人名；(德)普克 vt. 折疊；使起皺；使縮攏 vi. 折疊；皺起；縮攏
- pell n. 一卷羊皮紙
- quack n. 庸醫(yī)；鴨叫聲 adj. 騙人的；冒牌醫(yī)生的 vi. （鴨子）嘎嘎叫；吹噓；大聲閑聊 n. (Quack)人名；(德)夸克
- reveller n. 飲酒狂歡者；擺設(shè)酒宴者
- cacophonous adj. 粗腔橫調(diào)的；發(fā)音不和諧的
考試詞匯表
- optically coupled isolators
- optically homogeneous layer
- optically less dense medium
- optically perfect reflector
- optically-coupled isolation
- opticofacial winking reflex
- optimal cartel mark up rate
- optimal cutting temperature
- optimal design of mechanism
- optimal dose for protection
- optimal financial structure
- optimal functional position
- optimal launching condition
- optimal nonlinear filtering
- optimal operation condition
- optimal resource allocation
- optimal scheduling strategy
- optimal searching algorithm
- optimal selection diversity
- optimalizing control method
